(0 19 3)(1 7 4)(2 14 13)(5 10 8)(6 17 11)(9 18 16)(12 20 15)
ALLOWS (11/8)-SEQUENCE
1: (6 11 17)
(0 19 3)(1 7 4)(2 14 13)(5 10 8)(6 11 17)(9 18 16)(12 20 15)
2: (9 18 16)
(0 19 3)(1 7 4)(2 14 13)(5 10 8)(6 11 17)(9)(12 20 15)(16)(18)
3: (6 11 17)
(0 19 3)(1 7 4)(2 14 13)(5 10 8)(6)(9)(11)(12 20 15)(16)(17)(18)
4: (5 10 8)
(0 19 3)(1 7 4)(2 14 13)(5)(6)(8)(9)(10)(11)(12 20 15)(16)(17)(18)